Quantale相关论文
Quantale是由C. J. Mulvey于1986年提出的,其目的在于给研究非交换C*-代数提供新的格式刻画,并给量子力学提供新的数学模型.由于Qu......
Quantale是由C.J.Mulvey在1986年研究非交换的C*-algebra时首先引入的,其目的在于给量子力学提供新的数学模型.由于它在环的理想理......
摘要自从C.J.Mulvey于1986年提出Quantale概念以来,Quantale理论受到了数学家和逻辑学家的关注.在短短的二十几年中,有关Quantale......
自1990年D.Yetter给出Girard提出的作为理论计算机科学逻辑支持系统的线性逻辑与Quantale理论之间的密切关系起,Quantale理论的研......
摘要Quantale概念是由C.J.Mulvey于1986年在研究非交换的G*-代数的谱时首先引入的,其背景是给量子力学提供新的数学模型。对它的研究......
Quantale作为Locale在非交换意义下的推广,是由C. J. Mulvey于1986年在研究非交换C*-代数的谱时首先提出的,其目的在于给研究非交......
Quantale是由Mulvey于1986年在研究非交换C*-代数的谱时首先引入的,其背景是给量子力学提供新的数学模型Quantale已被广泛地应用于......
为了给更广泛的子结构逻辑提供统一的语义,2013年德国学者Rump利用相互独立的三条公理提出了量子B代数的概念.量子B代数是量子B逻......
自Mulvey 1984年提出Quantale的概念以来,Quantale理论已受到了数学家和逻辑学家的广泛关注.基于Quantale中的逻辑蕴含算子→和(?)......
Quantale是由Mulvey于1986年在研究非交换C*-代数的谱时首先提出的,其目的在于给研究非交换C*-代数提供新的格式刻画,并给量子力学......
Quantale是由C. J. Mulvey于1986年在研究非交换C*-代数的谱时首先提出的,其目的在于给研究非交换C*-代数提供新的格式刻画,并给量......
Quantale概念是由C.J.Mulvey于1986年在研究非交换的C-algebra的谱时引入的,其背景是给量子力学提供新的模型.对它的研究涉及到非交......
引入了Quantale上Ⅰ型结构和弱子结构的概念,讨论了Ⅰ型结构和弱子结构与映射之间的对应关系,利用Quantale上的(×)、∨和∧等运算......
这篇短文旨在解释赋予序结构的模糊集可以视作quantaloid上的强化范畴。这表明在模糊集的研究中,范畴理论是有益的、不可或缺的工具......
利用粗糙集的理论方法,主要对Quantale的上近似进行研究.引入Quantale的上粗子Quantale,上粗理想和上粗拟理想的概念,讨论了它们的......
研究左Q-模余核映射的相关性质,给出左Q-模上一个映射是余核映射的等式刻画;讨论Dual双模,Girard双模与对合左Q模的关系,并分别给出......
The concepts of connectedness and locally connectedness is introduced for right-side idempotent quantales. Some properti......
在Quantale中讨论了与Gabriel拓扑密切关联的闭滤子,给出了闭滤子与闭映射之间的相互确定关系.证明了凝聚左侧Quantale Q的闭滤子......
引入Quantale上双侧核映射的概念,研究双侧核映射的若干性质,证明一个核映射是局部核映射当且仅当它是双侧的、幂等的.......
给出模糊集Quantale的定义,在此基础上对Quantale与它对应的模糊集Quantale二者之间的关系进行比较,得到如果一个Quantale是可换的......
引入了一类广义的L模糊Quantale.即(∈,∈V q)-L模糊Quantale的定义,研究了其性质,利用它对经典子Quantale进行了等价刻画,证明了......
为了进一步讨论Quantale内部结构之间的对应关系,我们首先引入了左(右)蕴含核映射的概念;其次讨论了左(右)蕴含核映射的一些性质,左......
本文把状态属性系统的概念推广到了多值情形,探讨了状态属性系统与闭包空间之间的关系;证明了对一个有单位元的quantaleL,在L中取值的......
本文把状态属性系统的概念推广到了多值情形,探讨了状态属性系统与闭包空间之间的关系;证明了对一个有单位元的quantaleL,在L中取值的......
在Quantales理论中引入导子的概念,探讨了Quantales中运算&的性质,并研究了左(右,双)侧元导子的包含关系,最后讨论了简单导子的相应性质.......
在Quantales理论中引入导子的概念,探讨了Quantales中运算&的性质,并研究了左(右,双)侧元导子的包含关系,最后讨论了简单导子的相应性质.......
为了研究Quantale内部结构,我们首先在Quantale上引入了伪同余的概念;讨论了伪同余与同余的关系;最后借助于伪同余,建立了Quantale......
为了研究Quantale内部结构,我们首先在Quantale上引入了伪同余的概念;讨论了伪同余与同余的关系;最后借助于伪同余,建立了Quantale......
从代数角度研究了右侧幂等Quantale中的理想和理想余核的具体结构,并且证明了右侧幂等Quantale中的理想和理想余核分别是主理想和简......
从代数角度研究了右侧幂等Quantale中的理想和理想余核的具体结构,并且证明了右侧幂等Quantale中的理想和理想余核分别是主理想和简......
研究了子Quantale的性质,给出了子Quantale的几种具体构造,利用Quantale的强子Quantale给出了一个元素是素元的等价刻画.......
研究了子Quantale的性质,给出了子Quantale的几种具体构造,利用Quantale的强子Quantale给出了一个元素是素元的等价刻画.......
讨论了Girard Quantale的内部结构,研究了Girard Quantale中各种运算的若干性质和它们之间的相互关系,证明了Girard Quantale中六......
讨论了Girard Quantale的内部结构,研究了Girard Quantale中各种运算的若干性质和它们之间的相互关系,证明了Girard Quantale中六......
提出非交换BR0-代数的概念,然后讨论了在完备非交换BR0-代数和完备BR0-代数上的Quantale性质,最后得出完备Boole代数、完备MV代数、......
提出非交换BR0-代数的概念,然后讨论了在完备非交换BR0-代数和完备BR0-代数上的Quantale性质,最后得出完备Boole代数、完备MV代数、......
首先引入了Quantale上两个子集之间的等同关系;其次,利用序半群的Quantale完备化给出了序半群上两个子集之间的等同关系;最后,讨论了序......
首先引入了Quantale上两个子集之间的等同关系;其次,利用序半群的Quantale完备化给出了序半群上两个子集之间的等同关系;最后,讨论了序......
讨论了左Quantale模的余核映射及其相应性质,并给出了子Quantale模与Quantale模的余核映射之间的一一对应,最后讨论了Quantale上的......
更好地讨论Quantale这一崭新数学分支的各种性质;给出幂等余Quantale及幂等左侧余Quantale的定义;幂等左侧余Quantale既是子余Quan......
讨论了幂等余Quantale与左纯元、子余Quantale的一些相关性质,发现幂等余Quantale的左纯元构成的集合是对应的子余Quantale;每个幂......
讨论了幂等余Quantale与左纯元、子余Quantale的一些相关性质,发现幂等余Quantale的左纯元构成的集合是对应的子余Quantale;每个幂......
引入了Quantale上的δ结构和ρ结构的概念,并且讨论了δ结构和ρ结构的一系列性质;同时也给出了Quantale上的τ结构和σ结构的概念,证......
引入了Quantale上的δ结构和ρ结构的概念,并且讨论了δ结构和ρ结构的一系列性质;同时也给出了Quantale上的τ结构和σ结构的概念,证......
本文主要研究Q-模范畴.首先,证明一个完备格上的保任意并映射构成的集合在映射的复合运算和逐点序下构成一个Quantale.其次,借助Q-......
本文主要研究Q-模范畴.首先,证明一个完备格上的保任意并映射构成的集合在映射的复合运算和逐点序下构成一个Quantale.其次,借助Q-......
在K.I.Rosenthal等人工作的基础上,对Quantale的代数余核及其对应的子Quantale的若干性质作了有限的探讨,主要讨论了Quantale代数......
在K.I.Rosenthal等人工作的基础上,对Quantale的代数余核及其对应的子Quantale的若干性质作了有限的探讨,主要讨论了Quantale代数......
在Quantale中引入了c-核映射及r-核映射,给出了c-核映射的刻划,证明了在一定条件下c-核映射和卜核映射是等价的;最后讨论了Quantale中......